H. Kushida; "A proof theory for the logic of provability in true arithmetic" - Internet Explorer 2.0

H. Kushida; "A proof theory for the logic of provability in true arithmetic"

https://link.springer.com/content/pdf/10.1007/s11225-019-09891-0.pdf